13.38/13.50	unsat
