14.38/23.54	unsat
