55.60/55.76	unsat
