11.99/12.64	unsat
