14.55/16.48	unsat
