19.38/23.03	unsat
