47.13/49.59	unsat
