11.57/12.64	unsat
