6.46/7.74	unsat
