55.96/58.11	unsat
