54.92/57.48	unsat
