6.57/8.60	unsat
