11.57/12.49	unsat
