49.16/49.37	unsat
