22.38/22.77	unsat
