49.09/50.76	unsat
