49.20/49.38	unsat
