48.43/49.76	unsat
