57.33/61.13	unsat
