55.16/57.47	unsat
