4.78/6.74	unsat
