244.05/245.60	unsat
