14.40/14.48	unsat
