5.78/8.00	unsat
