13.38/16.62	unsat
