6.18/8.00	unsat
