47.57/50.99	unsat
