12.07/14.48	unsat
