44.75/48.17	unsat
