45.28/48.62	unsat
