11.74/14.48	unsat
