12.06/13.48	unsat
