5.88/8.85	unsat
