5.04/7.64	unsat
