13.38/14.62	unsat
