4.27/6.74	unsat
