6.47/8.60	unsat
