5.49/7.64	unsat
