5.88/8.60	unsat
