15.96/18.48	unsat
