48.34/50.76	unsat
