49.12/53.72	unsat
