13.38/14.96	unsat
