54.34/58.09	unsat
