60.38/62.33	unsat
