4.87/6.74	unsat
