56.94/57.43	unsat
