6.16/9.60	unsat
