51.24/51.93	unsat
