55.75/57.73	unsat
