54.66/58.77	unsat
