12.40/12.72	unsat
