47.27/49.36	unsat
