4.19/6.60	unsat
