6.50/6.60	unsat
