5.83/8.74	unsat
