16.26/18.48	unsat
