12.40/12.47	unsat
