45.08/48.62	unsat
