19.38/23.13	unsat
