7.72/7.74	unsat
