12.38/13.16	unsat
