5.78/8.02	unsat
