5.22/6.60	unsat
