19.38/22.08	unsat
