13.38/14.52	unsat
