53.19/57.30	unsat
