11.07/12.64	unsat
