11.36/12.51	unsat
