13.38/13.44	unsat
