6.18/7.74	unsat
