45.03/48.76	unsat
