55.36/58.03	unsat
