58.29/58.68	unsat
