5.78/6.00	unsat
