44.21/49.22	unsat
