6.08/6.60	unsat
