12.48/14.59	unsat
