4.18/6.60	unsat
