4.97/6.60	unsat
