244.24/244.86	unsat
