55.43/57.85	unsat
