11.36/12.57	unsat
