54.92/57.37	unsat
