6.18/6.74	unsat
