44.75/48.10	unsat
