12.48/12.51	unsat
