6.59/6.60	unsat
