7.49/11.64	unsat
